Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
101	Fast estimation of the pattern frequency spectrum Matthijs van Leeuwen1 and Antti Ukkonen2 1 2 Add to Reading List Source URL: www.patternsthatmatter.org Language: English - Date: 2014-12-31 10:52:18 Statistics Machine learning Summary statistics Pattern language Theoretical computer science Random sample consensus Mode Association rule learning Apriori algorithm
102	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term
103	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
104	Maximilien Gadouleau 1 General information Lecturer in Computer Science Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2016-02-02 11:30:33 Piscataway New Jersey Academia Engineering Science and technology Institute of Electrical and Electronics Engineers IEEE Transactions on Information Theory Theoretical computer science Salvatore D. Morgera Min Chen
105	Grading Rubric – Project 1 – Final Report, Source Code, and In-Class Presentation Name(s): Project Topic: CATEGORY Source Code: Add to Reading List Source URL: ecs-network.serv.pacific.edu Language: English Algorithm Mathematical logic Theoretical computer science
106	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:31:56 Graph theory Mathematics Model checking Theoretical computer science Graph Binary decision diagram Tree Circuit Symbolic trajectory evaluation Signal-flow graph Topology
107	Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Functional languages Programming idioms Recursion Theoretical computer science Functional programming Monad Lisp F Sharp Equation solving Exponentiation
108	Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3 Add to Reading List Source URL: cpcc.berkeley.edu Language: English - Date: 2016-06-12 17:08:37 Formal methods Theoretical computer science Bigraph Academia Lambda calculus Computer science Symbol
109	Printing Floating-Point Numbers Quickly and Accurately Robert G. Burger∗ R. Kent Dybvig Indiana University Computer Science Department Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2002-03-27 14:54:30 Computer arithmetic Mathematics Arithmetic Theoretical computer science Rounding Algorithm IEEE floating point Methods of computing square roots Kahan summation algorithm
110	Randomization, random walks, derandomization, expansion April 12, L´ aszl´ o Babai. Monte Carlo algorithms in graph isomorphism testing. Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 08:04:57 Theoretical computer science Lance Fortnow Probabilistic complexity theory Carsten Lund Computer science IP BPP Probabilistically checkable proof Symposium on Foundations of Computer Science Mathematics

UPDATE